push-button operation - German English Dictionary